action algebra造句

• Such anomalous behavior is not possible in an action algebra.
• Note that every Boolean algebra is a Heyting algebra and therefore an action algebra by virtue of being an instance of the first example.
• Residuated semilattices arise in connection with action algebras, which are residuated semilattices that are also Kleene algebras, for which & and; is ordinarily not required.
• The equational theory of the implication-free fragment of action algebras, those equations not containing ?! or ?!, can be shown to coincide with the equational theory of Kleene algebras, also known as the regular expression equations.
• Taking that as the definition of reflexive transitive closure of " a ", we then have that for every element " a " of any action algebra, " a " * is the reflexive transitive closure of " a ".